Problem of Information Passing in Magic Sets
نویسنده
چکیده
The magic sets method is used for eecient bottom up evaluation of logic programs. Since its origin, it suuers from the fact that innuence of information passing among predicates has not been suuciently studied. We have recognized the way of information passing as crucial for the eeciency of the method. In this article the ways of information passing are analyzed and a method of choosing an actual passing is described.
منابع مشابه
Problem of Information Passing in Magic Sets Method
The magic sets method is used for eecient bottom up evaluation of logic programs. Since its origin, it suuers from the fact that innuence of information passing among predicates has not been suuciently studied. We have recognized the way of information passing as crucial for the eeciency of the method. In this article the ways of information passing are analyzed and a method of choosing an actu...
متن کاملOn the Power of Magic Catriel Beeri* and Raghu Ramakrishnan+
D This paper considers the efficient evaluation of recursive queries expressed using Horn clauses. We define sideways information passing formally and show how a query evaluation algorithm may be defined in terms of sideways information passing and control. We then consider a class of information-passing strategies that suffices to describe most query evaluation algorithms in the database liter...
متن کاملMagic Templates: A Spellbinding Approach to Logic Programs
We consider a bottom-up query-evaluation scheme in which facts of relations are allowed to have nonground terms. The Magic Sets query-rewriting technique is generalized to allow arguments of predicates to be treated as bound even though the rules do not provide ground bindings for those arguments. In particular, we regard as ‘‘bound’’ any argument containing a function symbol or a variable that...
متن کاملQuery Restricted Bottom - up Eval - uation of Normal Logic
Several program transformations|magic sets, envelopes, NRSU transformations and context transformations, among others|have been proposed for eeciently computing the answers to a query while taking advantage of the query constants. These transformations use sideways information passing strategies (sips) to restrict bottom-up evaluation to facts potentially relevant to the query. It is of interes...
متن کاملProbabilistic Linkage of Persian Record with Missing Data
Extended Abstract. When the comprehensive information about a topic is scattered among two or more data sets, using only one of those data sets would lead to information loss available in other data sets. Hence, it is necessary to integrate scattered information to a comprehensive unique data set. On the other hand, sometimes we are interested in recognition of duplications in a data set. The i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999